Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen
نویسندگان
چکیده
Jens Gladigau, Frank Blendinger, Christian Haubelt und Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Universität Erlangen-Nürnberg {gladigau, blendinger, haubelt, teich}@codesign.informatik.uni-erlangen.de In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. by Christoph Scholl, Sefan Disch (Eds.). GI/ITG/GMM-Workshop, Shaker Verlag, Aachen, March 3-5, 2008
منابع مشابه
Variablenelimination für symbolische Modelle
Zur Software-Modell-Prüfung, zum modellbasierten Testen und bei der Testdatenund Codegenerierung sind die Größe und Komplexität von Modellen entscheidende Einflussfaktoren. Aus Quellcode (z.B. C oder Java) gewonnene Modelle in Form von symbolischen Kellersystemen (SPDS) erlauben nicht nur präzisere Ergebnisse, sondern führen auch ohne Modellexplosion bei exakter Nachbildung von Rekursion zu wen...
متن کاملEntwicklung eines Modelica Compiler BackEnds für große Modelle
Kurzfassung Die symbolische Aufbereitung mathematischer Modelle ist eine wesentliche Voraussetzung, um die Dynamik komplexer physikalischer Systeme mit Hilfe numerischer Simulationen zu untersuchen. Deren Modellierung mit gleichungsbasierten objektorientierten Sprachen bietet gegenüber der signalflussbasierenden Modellierung den Vorteil, dass die sich aus der Mathematik und Physik ergebenden Gl...
متن کاملTestfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen
Bei dem Entwurf von eingebetteten Systemen spielt die Verifikation eine entscheidende Rolle. SystemC hat sich für die Modellierung gemischter Hardware/SoftwareSysteme, vor allem auf hoher Abstraktionsebene, durchgesetzt. Für solche High-level SystemC-Modelle existieren allerdings heutzutage keine Werkzeuge zur formalen Verifikation, weshalb oftmals simulative Verfahren zur Verifikation der Mode...
متن کاملFunktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Aufgrund der rasch zunehmenden Komplexität eingebetteter Systeme ergab sich die Notwendigkeit, die Abstraktionsebene im Systementwurf anzuheben. Es wurde die elektronische Systemebene geschaffen, auf der die Systembeschreibungssprache SystemC und die Konzepte zur Modellierung auf Transaktionsebene (engl. Transaction Level Modeling, TLM) große Bedeutung erlangten. TLM-Modelle, die in SystemC ges...
متن کاملVerifkation und Test des PROFIsafe-Sicherheitsprofils
Zusammenfassung. PROFIsafe [1] ist ein nach IEC 61508 [6] entwickeltes und geprüftes Sicherheitsprofil für die weit verbreiteten Feldbusprotokolle PROFIBUS [7] und PROFINET [8]. Es wurde von einem Konsortium von mehr als 20 internationalen Herstellern und Endanwendern definiert. Der 2007 publizierte IEC-Standard [9] enthält informelle, semiformale und formale Bestandteile. In diesem Papier beri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008